Modeling Time in DoDAF Compliant Executable Architectures1
نویسندگان
چکیده
The paper describes some challenges andpitfalls in the derivation of the executable model from the DoDAF products, especially when temporal and queuing issues are involved. The presence of ambiguities or lack of information in the architecture description may result in different modeling assumptions for the executable model being constructed. These assumptions – untraceable to the information contained in the DoDAF products – are shown to yield models with a variety of behavioral properties. The paper describes some of these cases with the help of an illustrative example.
منابع مشابه
An Integrated Systems Engineering Methodology for Analyzing Systems of Systems Architectures
In this exploratory work, an integrated systems engineering methodology for analyzing architectures of systems of systems (SoS) involves linking an SoS architecture development process to the DoDAF products, using the systems modeling language (SySML 1.0) to represent DoDAF products, and hence to model the SoS architecture, and linking the SysML diagrams with the SoS architecture development pr...
متن کاملService Oriented Architectures, the DoD Architecture Framework 1.5, and Executable Architectures
The Department of Defense (DoD) has defined a Net Centric Warfare concept to help lead the way in the transformation of DoD capabilities in the information age. Service Oriented Architectures (SOA) has been selected as an approach for achieving many of the goals of this transformation. The DoD has created a major revision in its DoD Architecture Framework (DoDAF) that enables the inclusion of S...
متن کاملDEVS-Based Dynamic Model Reconfiguration and Simulation Control in the Enhanced DoDAF Design Process
The combination of DoDAF operational views, which capture the requirements of an architecture, and System views, which provide its technical attributes, forms the basis for semi-automated construction of simulation models. In this paper, we describe an enhanced Model-View-Controller paradigm that works in tandem with the DEVS M&S framework. We also employ the recently introduced DoDAF extension...
متن کاملExtending DoDAF to Allow Integrated DEVS-Based Modeling and Simulation
JDMS, Volume 3, Issue 2, April 2006 Pages 95–123 © 2006 The Society for Modeling and Simulation International A recent DoD mandate requires that the DoD Architecture Framework (DoDAF) be adopted to express high-level system and operational requirements and architectures. DoDAF is the basis for integrated architectures and provides broad levels of specification related to operational, system, an...
متن کاملVerification of System Architectures Using Modal Logics and Formal Model Checking Techniques
An application of formal model checking techniques for developing analysis and assessment mechanisms for system architectures developed in accordance with the DoD Architecture Framework (DoDAF) is presented. The use of temporal logics for capturing a system’s correctness requirements and the use of an architecture design process to refine these specifications are proposed. A computer-aided veri...
متن کامل